翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Gödel universe : ウィキペディア英語版
Constructible universe

In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted L, is a particular class of sets that can be described entirely in terms of simpler sets. It was introduced by Kurt Gödel in his 1938 paper "The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis".〔Gödel, 1938〕 In this, he proved that the constructible universe is an inner model of ZF set theory, and also that the axiom of choice and the generalized continuum hypothesis are true in the constructible universe. This shows that both propositions are consistent with the basic axioms of set theory, if ZF itself is consistent. Since many other theorems only hold in systems in which one or both of the propositions is true, their consistency is an important result.
==What is L?==
L can be thought of as being built in "stages" resembling the von Neumann universe, V. The stages are indexed by ordinals. In von Neumann's universe, at a successor stage, one takes Vα+1 to be the set of ''all'' subsets of the previous stage, Vα. By contrast, in Gödel's constructible universe L, one uses ''only'' those subsets of the previous stage that are:
*definable by a formula in the formal language of set theory
*with parameters from the previous stage and
*with the quantifiers interpreted to range over the previous stage.
By limiting oneself to sets defined only in terms of what has already been constructed, one ensures that the resulting sets will be constructed in a way that is independent of the peculiarities of the surrounding model of set theory and contained in any such model.
Define
:
\operatorname(X) := \Bigl\ ~ \Big| ~ \Phi \text z_,\ldots,z_ \in X \Bigr\}.

L is defined by transfinite recursion as follows:
* L_ := \varnothing.
* L_ := \operatorname(L_\alpha).
* If \lambda is a limit ordinal, then L_ := \bigcup_ L_. Here α<λ means α precedes λ.
* L := \bigcup_. Here Ord denotes the class of all ordinals.
If z is an element of Lα, then z = ∈ Def (Lα) = Lα+1. So Lα is a subset of Lα+1, which is a subset of the power set of Lα. Consequently, this is a tower of nested transitive sets. But L itself is a proper class.
The elements of L are called "constructible" sets; and L itself is the "constructible universe". The "axiom of constructibility", aka "V=L", says that every set (of V) is constructible, i.e. in L.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Constructible universe」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.